1. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
کتابخانه: Library of Beautiful Arts Campus University of Tehran (Tehran)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
